package lu.uni.adtool.domains.predefined;

import lu.uni.adtool.domains.Domain;

import lu.uni.adtool.domains.rings.RealG0;
/**
 * A Domain defined on booleans.
 * 
 * @author Piot Kordy
 */
public class RealG0MinSumCost extends RealG0MinSum
{
  //number 6
  static final long serialVersionUID = 665945232556446846L;
  /**
   * Constructs a new instance.
   */
  public RealG0MinSumCost()
  {
    super();
  }
  /**
   * {@inheritDoc}
   * @see Domain#getName()
   */
  public final String getName()
  {
    return "Minimal cost for the proponent (not reusable)";
  }
  /**
   * {@inheritDoc}
   * @see Domain#getDescription()
   */
  public final String getDescription()
  {
    final String name = "Minimal cost for the proponent, "
        + "assuming that all opponent\'s actions are in place and"
        + " that resources are not reused";
    final String vd = "&#x211D;\u208A\u222A{\u221E}";
    final String[] operators = { "min(<i>x</i>,<i>y</i>)",
                                "<i>x</i>&nbsp;+&nbsp;<i>y</i>",
                                "<i>x</i>&nbsp;+&nbsp;<i>y</i>",
                                "min(<i>x</i>,<i>y</i>)",
                                "<i>x</i>&nbsp;+&nbsp;<i>y</i>",
                                "min(<i>x</i>,<i>y</i>)",};
    return DescriptionGenerator.generateDescription(this, name, vd, operators);
  }
}
